* Makefile.in (install-info): Remove some useless subshells.
authorGlenn Morris <rgm@gnu.org>
Thu, 12 Dec 2013 09:02:27 +0000 (01:02 -0800)
committerGlenn Morris <rgm@gnu.org>
Thu, 12 Dec 2013 09:02:27 +0000 (01:02 -0800)
commit76973830f7e6773a79859433d3301d94a7961aed
treeca3a6c52c396e38198599a2b35d547a9df96c166
parentdd44c844d8a00b67dd005d423d7569e990405b17
* Makefile.in (install-info): Remove some useless subshells.
ChangeLog
Makefile.in